On Lebesgue's Density Theorem
نویسنده
چکیده
The density theorem of Lebesgue [l] may be stated in the following form: If 5 is a measurable linear point set, the metric density of S exists and is equal to 0 or 1 almost everywhere. We prove the converse that for every set Z of measure 0 there is a measurable set 5 whose metric density does not exist at any point of Z. We note, however, that in order for Z to be the set of points for which the metric density of some set S exists but is different from 0 or 1, Z must be both of measure 0 and of first category. As a converse, we show that for every F, type set Z of measure 0, thus of first category, there is a measurable set S whose metric density exists but is different from 0 or 1 at every point of Z.
منابع مشابه
A Short Proof of Lebesgue's Density Theorem
Your use of the JSTOR archive indicates your acceptance of JSTOR's Terms and Conditions of Use, available at . http://www.jstor.org/page/info/about/policies/terms.jsp. JSTOR's Terms and Conditions of Use provides, in part, that unless you have obtained prior permission, you may not download an entire issue of a journal or multiple copies of articles, and you may use content in the JSTOR archive...
متن کاملHilbert spaces
• Pre-Hilbert spaces: definition • Cauchy-Schwarz-Bunyakowski inequality • Example: spaces ` • Triangle inequality, associated metric, continuity issues • Hilbert spaces, completions, infinite sums • Minimum principle • Orthogonal projections to closed subspaces • Orthogonal complements W⊥ • Riesz-Fischer theorem on linear functionals • Orthonormal sets, separability • Parseval equality, Bessel...
متن کاملOn Differentiation of Integrals and Approximate Continuity
The following discussion is closely connected with Lebesgue's theorem that the derivative of an integral is equal to the integrand almost everywhere. I t is well known that in generalizing this theorem to higher dimensions, great care must be exercised in the choice of the systems of intervals or sets used for ^-dimensional differentiation. Lebesgue had already observed that arbitrary intervals...
متن کاملLebesgue's Convergence Theorem of Complex-Valued Function
In this article, we formalized Lebesgue’s Convergence theorem of complex-valued function. We proved Lebesgue’s Convergence Theorem of realvalued function using the theorem of extensional real-valued function. Then applying the former theorem to real part and imaginary part of complex-valued functional sequences, we proved Lebesgue’s Convergence Theorem of complexvalued function. We also defined...
متن کاملLebesgue's dominated convergence theorem in Bishop's style
We present a constructive proof in Bishop’s style of Lebesgue’s dominated convergence theorem in the abstract setting of ordered uniform spaces. The proof generalises to this setting a classical proof in the framework of uniform lattices presented by Hans Weber in “Uniform Lattices II: Order Continuity and Exhaustivity”, in Annali di Matematica Pura ed Applicata (IV), Vol. CLXV (1993). 1. Both ...
متن کامل